On proposing a Markup Language for Statecharts to be used in Performance Evaluation
نویسندگان
چکیده
Statecharts have been originally created to specify complex reactive systems for use in simulating real-time applications. They are an extension of state transition diagrams with notions of hierarchy, concurrency and synchronization. Recently they have been used for specifying and dealing analytically with performance models in which a Statecharts representation is converted into a Markov chain from which steady-state probabilities are obtained. A software system, PerformCharts, has been developed for this purpose. At the moment, the specification of a reactive system and its conversion into a Markov Chain, within PerformCharts, have to be written in C++ language within the main program. The paper, therefore, proposes a markup language based on XML to serve as an interface to specify, in Statecharts, a complex reactive system with the objective of evaluating its performance. Procedures of how to deal with such specification in order to generate the necessary performance evaluation information are provided. Key-Words: Statecharts, PcML, Performance, Markup, XML
منابع مشابه
Uml-statechart Modeling Tool for the Vle Simulator: an Application to a Chronic Renal Dialysis Unit
The various reforms of the health care system aim at reducing the corresponding costs. So the hospitals must rationalize their costs while guaranteeing a good quality of service. In order to reach this goal, different scenarios of health care unit management have to be envisaged and carefully evaluated before their implementation on the system. Thus, simulation is used more and more frequently ...
متن کاملEnglish for Specific Purposes: Proposing an Innovative Approach to Teaching English to Medical Students
Background: English for Specific Purposes (ESP) courses should empower students to satisfy their language needs. However, at many Iranian universities, these courses are mostly taught based on the Grammar Translation Method focusing on teaching grammatical rules and reading comprehension. The present study aims at proposing an innovative approach for teaching English to Medical students that ca...
متن کاملProposing an Accreditation Model for Medical Universities of Iran
Introduction. Presenting an appropriate model for university accreditation is a great task for supervising and assessment system of higher education institutions. The present survey was conducted to design an appropriate model for the accreditation of medical universities in Iran. The objectives of this study were: to determine the components and performance indicators in medical universities, ...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کامل